#!/bin/bash
cat "$1" | grep -v "^[0-9_.a-zA-Z]\+\\\\\s=" | sed s/^\\\([0-9_\\.a-zA-Z]\\+\\\)\\s\*=\\s\*/\\1\ =\ / | sed s/\\\\u\\\([0-9a-f]\\{4\\}\\\)/\\\\u\\U\\1\\E/g > "$2"

